finitely generated semigroup

有限生成半群